очевидно, что этот пункт доказательства будет зависеть от нашего определения A

Mathematics: it is plain, that this step will depend upon our definition of A